projects / gringo.git / shortlog
| 2020-03-12 | Thomas Krennwallner | gringo (5.3.0-13) unstable; urgency=medium | commit | commitdiff | tree | snapshot |
| 2020-03-12 | Thomas Krennwallner | Import gringo_5.3.0-13.debian.tar.xz | commit | commitdiff | tree | snapshot |
| 2018-11-11 | Thomas Krennwallner | Import gringo_5.3.0.orig.tar.gz | commit | commitdiff | tree | snapshot |